логическое преобразование в целях минимизации связей алгоритма

Makarov: minimization by Boolean functions